Home Up Previous Next Random
An opposite preorder
Given a preorder \((P, \leq)\), we define \(p \leq^{op} q \iff q \leq p\)